Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
641	Perl versiondocumentation - Pod::Checker NAME Pod::Checker, podchecker() - check pod documents for syntax errors SYNOPSIS Add to Reading List Source URL: perldoc.perl.org Language: English - Date: 2014-10-03 15:12:04 Scripting languages Plain Old Documentation Perl module Formal languages Pattern matching POD Diff Batch file Spell Computing Software Perl
642	Complexities of the Centre and Median String Problems Fran¸cois Nicolas () and Eric Rivals () Laboratoire d’Informatique de Robotique et de Micro´electronique de Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2003-07-05 11:47:00 Combinatorics Combinatorics on words P versus NP problem String NP Alphabet Regular expression Function Mathematics Formal languages Theoretical computer science
643	Standard Z-LATEX style explained Community Z Tools (CZT) Leo Freitas Department of Computer Science University of York, YO10 5DD Add to Reading List Source URL: czt.sourceforge.net Language: English - Date: 2015-04-07 21:25:18 Typesetting Formal languages Punctuation LaTeX Markup languages TeX Blackboard bold Space Z notation Typography Computing Graphic design
644	Efficient Algorithms for Finding Submasses in Weighted Strings Nikhil Bansal Mark Cieliebak Zsuzsanna Lipt´ak Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2004-07-02 22:51:00 Binary arithmetic Binary logarithm Calculus Logarithms String Fourier transform Mathematical analysis Mathematics Formal languages
645	The Role of Dynamic Programming & Control Structures in Performance Robert Bernecky Snake Island Research Inc 18 Fifth Street, Ward’s Island Toronto, Ontario M5J 2B9 Add to Reading List Source URL: www.snakeisland.com Language: English - Date: 2008-07-16 14:59:34 Formal languages APL IBM software Regular expression Computing Software engineering Computer programming
646	CS109B Notes for LectureRecursive-Descent Parsing Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 00:59:04 Formal languages Functional languages Procedural programming languages Mathematical notation Tuple Type theory Formal grammar ML Parse tree Software engineering Computing Programming language theory
647	Horn Clause Belief Change: Contraction Functions James P. Delgrande School of Computing Science, Simon Fraser University, Burnaby, B.C., Canada V5A 1S6. Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2008-09-10 12:38:16 Formal languages Functions and mappings Interpretation Philosophy of mind Semantics Symbol Entailment Function Contraction Logic Mathematics Model theory
648	A Type System for Dynamic Web Documents Anders Sandholm and Michael I. Schwartzbach BRICS, Department of Computer Science University of Aarhus, Denmark {sandholm,mis}@brics.dk Add to Reading List Source URL: www.brics.dk Language: English - Date: 2000-03-10 07:34:12 Structure Universal algebra Mathematics Formal languages Model theory
649	Better Extensibility through Modular Syntax Robert Grimm New York University Abstract Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2006-03-28 18:05:21 Computing Parsing Compiler construction Parsing expression grammar Recursive descent parser Syntactic predicate LL parser Compiler-compiler LR parser Formal languages Programming language implementation Software engineering
650	Network Working Group Request for Comments: 2234 Category: Standards Track D. Crocker, Ed. Internet Mail Consortium Add to Reading List Source URL: www.rfc-editor.org Language: English - Date: 2002-03-27 15:25:13 Software engineering Programming language theory Extended Backus–Naur Form Formal languages Augmented Backus–Naur Form Computing

UPDATE